// #define DEBUG

#ifdef DEBUG

#define ENTER(a) printf("ENTER %s\n", #a); 
#define LEAVE printf("LEAVE\n");

#else

#define ENTER(a)
#define LEAVE

#endif

